Chú thích Thứ tự toàn phần

  1. 1 2 Halmos 1968, Ch.14.
  2. 1 2 3 Davey & Priestley 1990, tr. 3.Lỗi sfn: không có mục tiêu: CITEREFDaveyPriestley1990 (trợ giúp)
  3. ↑ Birkhoff 1967, tr. 2.Lỗi sfn: không có mục tiêu: CITEREFBirkhoff1967 (trợ giúp)
  4. ↑ Schmidt & Ströhlein 1993, tr. 32.
  5. ↑ Strohmeier, Alfred; Genillard, Christian; Weber, Mats (1 tháng 8 năm 1990). “Ordering of characters and strings”. ACM SIGAda Ada Letters (bằng tiếng Anh) (7): 84. doi:10.1145/101120.101136. S2CID 38115497.
  6. ↑ Ganapathy, Jayanthi (1992). “Maximal Elements and Upper Bounds in Posets”. Pi Mu Epsilon Journal. 9 (7): 462–464. ISSN 0031-952X. JSTOR 24340068.
  7. ↑ Đặt a < b {\displaystyle a<b} , giả sử ngược lại rằng b < a {\displaystyle b<a} . Theo tính bắc cầu, a < a {\displaystyle a<a} , mâu thuẫn với tính hoàn toàn không phản xạ.
  8. ↑ Nếu a < a {\displaystyle a<a} , thì không a < a {\displaystyle a<a} theo tính bất đối xứng.
  9. ↑ Định nghĩa này gần giống với vật ban đầu trong lý thuyết phạm trù nhưng yếu hơn.
  10. ↑ Roland Fraïssé (tháng 12 năm 2000). Theory of Relations. Studies in Logic and the Foundations of Mathematics. 145 (ấn bản 1). Elsevier. ISBN 978-0-444-50542-2. Here: p. 35
  11. ↑ Brian A. Davey and Hilary Ann Priestley (1990). Introduction to Lattices and Order. Cambridge Mathematical Textbooks. Cambridge University Press. ISBN 0-521-36766-2. LCCN 89009753. Here: p. 100
  12. ↑ Yiannis N. Moschovakis (2006) Notes on set theory, Undergraduate Texts in Mathematics (Birkhäuser) ISBN 0-387-28723-X, p. 116
  13. ↑ Davey and Priestly 1990, Def.2.24, p. 37
  14. ↑ Weyer, Mark (2002). “Decidability of S1S and S2S”. Automata, Logics, and Infinite Games. Lecture Notes in Computer Science. 2500. Springer. tr. 207–230. doi:10.1007/3-540-36387-4_12. ISBN 978-3-540-00388-5.